home *** CD-ROM | disk | FTP | other *** search
/ Aminet 48 / Aminet 48 (2002)(GTI - Schatztruhe)[!][Apr 2002].iso / Aminet / text / edit / vim60rt.lha / Vim / vim60 / syntax / lotos.vim < prev    next >
Encoding:
Text File  |  2001-05-09  |  2.7 KB  |  83 lines
  1. " Vim syntax file
  2. " Language:    LOTOS (Language Of Temporal Ordering Specifications, IS8807)
  3. " Maintainer:    Daniel Amyot <damyot@csi.uottawa.ca>
  4. " Last Change:    Wed Aug 19 1998
  5. " URL:        http://lotos.csi.uottawa.ca/~damyot/vim/lotos.vim
  6. " This file is an adaptation of pascal.vim by Mario Eusebio
  7. " I'm not sure I understand all of the syntax highlight language,
  8. " but this file seems to do the job for standard LOTOS.
  9.  
  10. " For version 5.x: Clear all syntax items
  11. " For version 6.x: Quit when a syntax file was already loaded
  12. if version < 600
  13.   syntax clear
  14. elseif exists("b:current_syntax")
  15.   finish
  16. endif
  17.  
  18. syn case ignore
  19.  
  20. "Comments in LOTOS are between (* and *)
  21. syn region lotosComment    start="(\*"  end="\*)" contains=lotosTodo
  22.  
  23. "Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
  24. syn match  lotosDelimiter       "[][]"
  25. syn match  lotosDelimiter    ">>"
  26. syn match  lotosDelimiter    "->"
  27. syn match  lotosDelimiter    "\[>"
  28. syn match  lotosDelimiter    "[|;!?:=,]"
  29.  
  30. "Regular keywords
  31. syn keyword lotosStatement    specification endspec process endproc
  32. syn keyword lotosStatement    where behaviour behavior
  33. syn keyword lotosStatement      any let par accept choice hide of in
  34. syn keyword lotosStatement    i stop exit noexit
  35.  
  36. "Operators from the Abstract Data Types in IS8807
  37. syn keyword lotosOperator    eq ne succ and or xor implies iff
  38. syn keyword lotosOperator    not true false
  39. syn keyword lotosOperator    Insert Remove IsIn NotIn Union Ints
  40. syn keyword lotosOperator    Minus Includes IsSubsetOf
  41. syn keyword lotosOperator    lt le ge gt 0
  42.  
  43. "Sorts in IS8807
  44. syn keyword lotosSort        Boolean Bool FBoolean FBool Element
  45. syn keyword lotosSort        Set String NaturalNumber Nat HexString
  46. syn keyword lotosSort        HexDigit DecString DecDigit
  47. syn keyword lotosSort        OctString OctDigit BitString Bit
  48. syn keyword lotosSort        Octet OctetString
  49.  
  50. "Keywords for ADTs
  51. syn keyword lotosType    type endtype library endlib sorts formalsorts
  52. syn keyword lotosType    eqns formaleqns opns formalopns forall ofsort is
  53. syn keyword lotosType   for renamedby actualizedby sortnames opnnames
  54. syn keyword lotosType   using
  55.  
  56. syn sync lines=250
  57.  
  58. " Define the default highlighting.
  59. " For version 5.7 and earlier: only when not done already
  60. " For version 5.8 and later: only when an item doesn't have highlighting yet
  61. if version >= 508 || !exists("did_lotos_syntax_inits")
  62.   if version < 508
  63.     let did_lotos_syntax_inits = 1
  64.     command -nargs=+ HiLink hi link <args>
  65.   else
  66.     command -nargs=+ HiLink hi def link <args>
  67.   endif
  68.  
  69.   HiLink lotosStatement        Statement
  70.   HiLink lotosProcess        Label
  71.   HiLink lotosOperator        Operator
  72.   HiLink lotosSort        Function
  73.   HiLink lotosType        Type
  74.   HiLink lotosComment        Comment
  75.   HiLink lotosDelimiter        String
  76.  
  77.   delcommand HiLink
  78. endif
  79.  
  80. let b:current_syntax = "lotos"
  81.  
  82. " vim: ts=8
  83.